Update doc/misc/makefile.w32-in.
authorEli Zaretskii <eliz@gnu.org>
Sat, 22 Dec 2012 13:49:49 +0000 (15:49 +0200)
committerEli Zaretskii <eliz@gnu.org>
Sat, 22 Dec 2012 13:49:49 +0000 (15:49 +0200)
commita5f2d9e1afc57952612913aff9952fabafab263c
treee2862176eeae69ffd660183c6cd20acee614c051
parent147e9c91d3b0e3118a852d484c218405aad71f4d
Update doc/misc/makefile.w32-in.

 Backport from trunk:

 doc/misc/makefile.w32-in ($(INFO_TARGETS), $(DVI_TARGETS)): Depend on
 doclicense.texi.  Remove doclicense.texi from all targets that
 mentioned it explicitly.
doc/misc/ChangeLog
doc/misc/makefile.w32-in